Mobile Join Operators for Restricted Sources

Memory - restricted parallel multi - join evaluation

Nested Commits for Mobile Calculi: Extending Join

In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distributed agreements and negotiations with nested choice points. We propose a linguistic extension of the Join calculus for programming nested commits, called Committed Join (cJoin). It provides primitives for explicit abo...

Meet- and join-closure of CTL operators

Results from lattice theory have successfully been applied by several researchers, e.g. [1, 7, 9, 10], to reduce the complexity of verification of distributed computations. The set of all reachable states of a distributed computation forms a lattice under a certain partial order relation. A property is said to exhibit meet-closure if the set of reachable states satisfying it is closed under the...

The Join Calculus: A Language for Distributed Mobile Programming

In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. It is characterized by an explicit notion of locality, a strict adherence to local synchronization, and a direct embedding of the ML programming language. The join calculus is used as the basis for several distributed...

L-upper Approximation Operators and Join Preserving Maps

In this paper, we investigate the properties of join and meet preserving maps in complete residuated lattice using Zhang’s the fuzzy complete lattice which is defined by join and meet on fuzzy posets. We define L-upper (resp. L-lower) approximation operators as a generalization of fuzzy rough sets in complete residuated lattices. Moreover, we investigate the relations between L-upper (resp. L-l...